---

mechanical theory proving

英 [məˈkænɪkl ˈθɪəri ˈpruːvɪŋ] 美 [məˈkænɪkl ˈθiːəri ˈpruːvɪŋ]

【计】机器理论证明

计算机

---

---